Type Reconstruction for Syntactic Control of Interference Part
نویسندگان
چکیده
Syntactic Control of Interference SCI has long been studied as a basis for interference free program ming with cleaner reasoning properties and seman tics than traditional imperative languages This paper improves upon Huang and Reddy s type inference system for SCI based languages in two signi cant ways First we eliminate the need for explicit coercion operators in terms Second we consider adding let bound polymorphism which appears to be nontrivial in the presence of interference control SCI can be adapted to a wide variety of languages and our techniques should be applicable to any such language with SCI based interference control
منابع مشابه
Type Reconstruction for Syntactic Control of Interference, Part 2
Syntactic Control of Interference (SCI) 17] has long been studied as a basis for interference-free programming , with cleaner reasoning properties and semantics than traditional imperative languages. This paper improves upon Huang and Reddy's type inference system 7] for SCI-based languages in two signiicant ways. First, we eliminate the need for explicit coercion operators in terms. Second, we...
متن کاملType Reconstruction for Sci, Part 2
Syntactic Control of Interference (SCI) Rey78] has long been studied as a basis for interference-free programming, with cleaner reasoning properties and semantics than traditional imperative languages. This paper makes SCI-based languages more practical by introducing a revised version of Huang and Reddy's type reconstruction system HR96] with two signiicant improvements. First, we eliminate th...
متن کاملType Reconstruction for SCI
We present a type reconstruction algorithm for SCIR [10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cause any side effects, and that distinct identifiers do not interfere. A reconstruction algorithm for this type system must deal with different kinds (passive and general) and different uses of identifiers (passive and ...
متن کاملFunctional Outcome Following Arthroscopic ACL Reconstruction with Rigid Fix: A Retrospective Observational Study
Background: No uniform consensus exists to decide type of fixation for arthroscopic anterior cruciate ligament reconstruction. Hypothsis: There is similar functional outcome after rigid fix compared to other methods of fixation which has been published. Study design: Retrospective observational study. Methods: A total of 50 patients underwent arthroscopic anterior cruciate ligament reconstruc...
متن کاملThe Impact of Recasts on the Syntactic Accuracy of Iranian EFL University Students’ Oral Discourse
Among the major issues raised by classroom SLA researchers is the debate on the degree to which teacher’s or learner’s attention should be directed to linguistic features. However, one of the relevant variables in corrective feedback studies which seem to be less operationalized is the differential impact of different types of feedback on the accuracy of the oral performance of the participants...
متن کامل